Plan-based Axiom Absorption for Tableau-based Description Logics Reasoning
نویسندگان
چکیده
Plan-based Axiom Absorption for Tableau-based Description Logics Reasoning
منابع مشابه
Axiom Pinpointing in General Tableaux
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge base that have (do not have) the consequence in question. The pinpointing algorithms described in the DL literature are obtained as extensions of the standard tableau-based r...
متن کاملA Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description logics, which is a paraconsistent version of description logics. A precedence relation between two paradoxical models of knowledge bases is firstly introduced to obtain minimally paradoxical models by filtering those mo...
متن کاملTableau-Based ABox Abduction for Description Logics: Preliminary Report
ABox abduction is an important reasoning problem for description logics (DL) with applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several abductive reasoners for DL were designed and implemented using a translation to first-order logic or logic programming. Algorithms for ABox abduction based directly on native DL reasoning techniques, such as tableau algorithm...
متن کاملComplexity of Axiom Pinpointing in the DL-Lite Family
In real world applications where ontologies are employed, often the knowledge engineer not only wants to know whether her ontology has a certain (unwanted) consequence or not, but also wants to know why it has this consequence. Even for ontologies of moderate size, finding explanations for a given consequence is not an easy task without getting support from an automated tool. The task of findin...
متن کاملExploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics
The quest of efficient and scalable reasoning procedures arising from the area of Description Logics and its notable applications in the prominent domains of Semantic Web and bio-medical ontologies, on one hand, and the wide variety of mature and efficient technologies offered by the SAT research area, on the other hand, motivated our research. In this thesis we explore the idea of exploiting t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008